#include <stdio.h>

int main()
{
  /*4005fc:	a9be7bfd 	stp	x29, x30, [sp, #-32]!
  400600:	910003fd 	mov	x29, sp
  400604:	b9001fbf 	str	wzr, [x29, #28] */
	int a = 0;

  /*400608:	52850000 	mov	w0, #0x2800                	// #10240
  40060c:	72a20000 	movk	w0, #0x1000, lsl #16
  400610:	b9001fa0 	str	w0, [x29, #28] */
	a = 0x10002800;

  /*400614:	90000000 	adrp	x0, 400000 <_init-0x480>
  400618:	911d6000 	add	x0, x0, #0x758
  40061c:	b9401fa1 	ldr	w1, [x29, #28]
  400620:	97ffffb4 	bl	4004f0 <printf@plt>*/
	printf("%x\n", a);

  /*400624:	52857fe0 	mov	w0, #0x2bff                	// #11263
  400628:	72a20000 	movk	w0, #0x1000, lsl #16
  40062c:	b9001fa0 	str	w0, [x29, #28] */
	a = 0x10002bff;

  /*400630:	90000000 	adrp	x0, 400000 <_init-0x480>
  400634:	911d6000 	add	x0, x0, #0x758
  400638:	b9401fa1 	ldr	w1, [x29, #28]
  40063c:	97ffffad 	bl	4004f0 <printf@plt>*/
	printf("%x\n", a);

  /*400640:	52800020 	mov	w0, #0x1                   	// #1
  400644:	b9001fa0 	str	w0, [x29, #28]*/
	a = 1;

  /*400648:	90000000 	adrp	x0, 400000 <_init-0x480>
  40064c:	911d6000 	add	x0, x0, #0x758
  400650:	b9401fa1 	ldr	w1, [x29, #28]
  400654:	97ffffa7 	bl	4004f0 <printf@plt>*/
	printf("%x\n", a);

  /*400658:	52800040 	mov	w0, #0x2                   	// #2
  40065c:	b9001fa0 	str	w0, [x29, #28]*/
	a = 2;

  /*400660:	90000000 	adrp	x0, 400000 <_init-0x480>
  400664:	911d6000 	add	x0, x0, #0x758
  400668:	b9401fa1 	ldr	w1, [x29, #28]
  40066c:	97ffffa1 	bl	4004f0 <printf@plt>*/
	printf("%x\n", a);

  /*400670:	52800080 	mov	w0, #0x4                   	// #4*/
	a = 4;

  /*400674:	b9001fa0 	str	w0, [x29, #28]
  400678:	90000000 	adrp	x0, 400000 <_init-0x480>
  40067c:	911d6000 	add	x0, x0, #0x758
  400680:	b9401fa1 	ldr	w1, [x29, #28]
  400684:	97ffff9b 	bl	4004f0 <printf@plt>*/
	printf("%x\n", a);

  /*400688:	90000000 	adrp	x0, 400000 <_init-0x480>
  40068c:	911da000 	add	x0, x0, #0x768
  400690:	b2407fe1 	mov	x1, #0xffffffff            	// #4294967295
  400694:	97ffff97 	bl	4004f0 <printf@plt>*/
	printf("%x\n", 0xffffffff);

  /*400698:	52800000 	mov	w0, #0x0                   	// #0
  40069c:	a8c27bfd 	ldp	x29, x30, [sp], #32
  4006a0:	d65f03c0 	ret*/
	return 0;
}
